A Middle End Lisp Translator for GCC achievements and issues
نویسنده
چکیده
Some extensions of GCC, like those for static analysis, cannot easily be coded in C. A Lisp-like dialect has been designed and implemented (as a translator to C) to fit well into the GCC middle-end. We give key language features, and improvements.We describe the design of its runtime system fitting into GGC. Idioms to interoperate with the evolving GCC internal API are explained.
منابع مشابه
Novel approach to a rule-based general purpose program translator using paramodulation
In this paper a rule-based Lisp dialect translator using paramodulation is presented as an example of a general purpose program translator application where the knowledge about the translation is embedded in rules. The advantage of using a rule-based system is to allow the user to supply his own rules for translation, thus the translator can be considered as a general purpose converter. Also, t...
متن کاملDeveloping a Framework for Simulation, Veriication and Testing of Sdl Speciications ?
This paper describes a simulator for SDL, a formal description technique for distributed, concurrent, communicating systems. The simulator consists of three main components: the translator, the activator, and the process execution and interleaving mechanism. All components are written in a subset of Common Lisp, and their desired properties are proved in ACL2. The simulator is intended as a bas...
متن کاملfKenzo: A user interface for computations in Algebraic Topology
fKenzo (= f riendly Kenzo) is a graphical user interface providing a user-friendly front-end for the Kenzo system, a Common Lisp program devoted to Algebraic Topology. The fKenzo system provides the user interface itself, an XML intermediary generator-translator and, finally the Kenzo kernel. We describe in this paper the main points of fKenzo, and we explain also the advantages and limitations...
متن کاملAn Implementation of Lispkit Lisp in Java
Functional programming languages (FPL) and their implementations are still very interesting topics in the computer community. Declarative languages are also extremely interesing in the field of interagent communication. Thus it seems that a FPL could be a good starting point for the implementation of particular Agent Communication Languages. In this paper a description of a concrete LispKit LIS...
متن کاملEmbedded in the GCC Compiler
The GCC free compiler is a very large software, compiling source in several languages for many targets on various systems. It can be extended by plugins, which may take advantage of its power to provide extra specific functionality (warnings, optimizations, source refactoring or navigation) by processing various GCC internal representations (Gimple, Tree, ...). Writing plugins in C is a complex...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008